Лекция 9. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:10:47 6 years ago 270 Скачать Далее
Лекция 10. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 57:24 6 years ago 397 Скачать Далее
Лекция 9 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский Лекториум 1:18:51 7 years ago 297 Скачать Далее
Лекция 8. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:19:20 6 years ago 419 Скачать Далее
Лекция 3. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:20:34 6 years ago 953 Скачать Далее
Лекция 7. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:21:22 6 years ago 340 Скачать Далее
Лекция 6. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:18:27 6 years ago 449 Скачать Далее
Лекция 4. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:17:43 6 years ago 528 Скачать Далее
Лекция 1. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:04:05 6 years ago 3 652 Скачать Далее
Лекция 2. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:15:57 6 years ago 1 054 Скачать Далее
Лекция 5. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:20:25 6 years ago 394 Скачать Далее
Лекция 9 | Функциональное программирование | Евгений Кирпичёв | Лекториум Лекториум 1:35:57 11 years ago 376 Скачать Далее
Лекция 2 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский Лекториум 1:44:31 7 years ago 2 105 Скачать Далее
Функциональное программирование в JavaScript | Лекция 9 | Web-разработка для начинающих Миша Ларченко 34:53 3 years ago 3 520 Скачать Далее
Лекция 8 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский Лекториум 1:30:44 7 years ago 422 Скачать Далее